ecase1(e;info;i.f(i);l,e'.g(l;e'))
== Case info(e) of inl(p)  f(1of(p)) ; inr(q)  g(1of(1of(q));2of(1of(q))) 

latex

Definitions	1of(t), 2of(t)
FDL editor aliases	ecase1